منابع مشابه
ML Partial Evaluation using Set-Based Analysis
We describe the design and implementation of an off-line partial evaluator for Standard ML programs. Our partial evaluator consists of two phases: analysis and specialization. Analysis: Set-based analysis is used to compute control flow, data flow and binding-time information. It provides a combination of speed and accuracy that is well suited to partial-evaluation applications: the analysis pr...
متن کاملUsing AI for Sensemaking in Investigative Analysis
The sensemaking task in investigative analysis generates models that connect entities and events in an input stream of data. We describe a knowledge system for aiding sensemaking in investigative analysis. The STAB system represents crime schemas as hierarchical scripts with goals and states. It generates multiple explanatory hypotheses for an input data stream containing interleaved sequences ...
متن کاملAutomated Vulnerability Analysis Using AI Planning
As networked systems become more complex, and they support more critical applications, there is a compelling need to augment the Red Team approach to vulnerability analysis with more formal, automated methods. Artificial Intelligence (AI) Planning, with its welldeveloped theory and rich set of tools, offers an attractive approach. By adopting this approach we have been able to generate attack g...
متن کاملDocument Classification Using Layout Analysis
This paper describes methods for document image classification at the spatial layout level. The goal is to develop fast algorithms for initial document type classification without OCR, which can then be verified using more elaborate methods based on more detailed geometric and syntactic models. A novel feature set called interval encoding is introduced to capture elements of spatial layout. Thi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Innovative Research in Computer Science & Technology
سال: 2019
ISSN: 2347-5552
DOI: 10.21276/ijircst.2019.7.3.6